2006

International Conference

[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pp. 604-607, May 2006.

2005

Academic Journal

[1] Eun-Hye Choi, Takanori Kawamoto, and Hiroshi Watanabe, "画面遷移仕様のモデル検査", JSSST Computer Software, 22(3),  pp. 146-153, July 2005.

International Conference

[1] Eun-Hye Choi and Hiroshi Watanabe, "Model Checking Class Specifications for Web Applications", Proc. of the twelfth Asia-Pacific Software Engineering Conference (APSEC 2005), pp. 67-75, December 2005.

Domestic Conference

[1] Hitoshi Furusawa, Hiroshi Watanabe, Takanori Kawamoto, and Eun-Hye Choi, "形式的手法の便益性評価のためのデータ収集実験", 第二回システム検証の科学技術シンポジウム予稿集, pp. 196-204, October 2005.

[2] Eun-Hye Choi and Hiroshi Watanabe, "Webアプリケーションのクラス設計仕様に対するモデル化と検証", ソフトウェアテストシンポジウム2005予稿集, January 2005.

Technical report

[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", 算譜科学研究速報, (PS-2005-018), December 2005.